Charmeoffensive fr MPA

MPA ) negotiation for Remote

This document updates RFC 5043 and RFC 5044 by extending Marker Protocol Data Unit (PDU) Aligned Framing (MPA) negotiation for Remote Direct Memory Access (RDMA) connection establishment. The first enhancement extends RFC 5044, enabling peer-to-peer connection establishment over MPA / Transmission Control Protocol (TCP). The second enhancement extends both RFC 5043 and RFC 5044, by providing an...

Couverture FR

Operational GSPN Semantics of MPA

In this technical report we define an operational net semantics for the stochastic process algebra MPA based on generalized stochastic Petri nets. As a consequence of the definition of such a semantics, we present an interesting modeling technique for concurrent systems which is based on MPA. 1. Dipartimento di Matematica, Università di Bologna, Piazza di Porta S. Donato 5, 40127 Bologna, Italy.

MPA: a Stochastic Process Algebra

Process algebras constitute one of the main tools for modeling and analyzing concurrent systems. Unfortunately, with classical process algebras only the functional aspect of the behavior of concurrent systems can be modeled and analyzed. Since the relevance of integrating the performance modeling and evaluation into the process of specification, design and implementation of concurrent systems h...

The HST view of the FR I / FR II dichotomy ⋆

In order to explore how the FR I / FR II dichotomy is related to the nuclear properties of radio galaxies, we studied a complete sample of 26 nearby FR II radio galaxies using Hubble Space Telescope (HST) images and compared them with a sample of FR I previously analyzed. FR I nuclei lie in the radio-optical luminosity plane along a tight linear correlation, which argues for a common synchrotro...